https://ubuntuhandbook.org/index.php/2013/08/install-grub-customizer-ubuntu-13-10/